Building Dynamic Visual and Logic Models with Geometry Expert

In this paper, we introduce a software, Geometry Expert, developed by us for automated geometry reasoning and dynamic geometry drawing. As a dynamic geometry software, GEX can be used to build dynamic visual models to assist teaching and learning of various mathematical concepts in an intuitive way. As an automated reasoning software, we can build dynamic logic models which can do reasoning themselves. Logic models can be used for more intelligent educational tasks, such as automated solution of students’ questions, automated generation of test problems, automated evaluation of students’ answers, intelligent tutoring, etc.